%%Created by jPicEdt 1.4.1_03: mixed JPIC-XML/LaTeX format
%%Tue May 31 12:14:36 CEST 2011
%%Begin JPIC-XML
%<?xml version="1.0" standalone="yes"?>
%<jpic x-min="5" x-max="130" y-min="5" y-max="59" auto-bounding="true">
%<multicurve right-arrow= "head"
%	 fill-style= "none"
%	 points= "(75,10);(75,10);(126,10);(126,10)"
%	 />
%<multicurve right-arrow= "head"
%	 fill-style= "none"
%	 points= "(75,10);(75,10);(75,59);(75,59)"
%	 />
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(71,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%1
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(130,11)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$U$
%</text>
%<multicurve fill-style= "none"
%	 points= "(74,50);(74,50);(76,50);(76,50)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(85,11);(85,11);(85,9);(85,9)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(95,11);(95,11);(95,9);(95,9)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(105,11);(105,11);(105,9);(105,9)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(115,11);(115,11);(115,9);(115,9)"
%	 />
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(85,5)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$a$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(95,5)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$b$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(105,5)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$c$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(115,5)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$d$
%</text>
%<multicurve stroke-style= "dashed"
%	 fill-style= "none"
%	 stroke-dasharray= "1;1"
%	 points= "(115,10);(115,10);(115,50);(115,50)"
%	 />
%<ellipse right-arrow= "disk-centered"
%	 fill-style= "solid"
%	 p3= "(114.5,50.5)"
%	 p2= "(114.5,49.5)"
%	 p1= "(115.5,49.5)"
%	 closure= "open"
%	 angle-end= "0"
%	 angle-start= "0"
%	 />
%<multicurve stroke-style= "dashed"
%	 fill-style= "none"
%	 stroke-dasharray= "1;1"
%	 points= "(95,10);(95,10);(95,20);(95,20)"
%	 />
%<ellipse right-arrow= "disk-centered"
%	 fill-style= "solid"
%	 p3= "(94.5,20.5)"
%	 p2= "(94.5,19.5)"
%	 p1= "(95.5,19.5)"
%	 closure= "open"
%	 angle-end= "0"
%	 angle-start= "0"
%	 />
%<text right-arrow= "disk-centered"
%	 fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(70,55)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\pi_{X_2}$
%</text>
%<multicurve right-arrow= "head"
%	 fill-style= "none"
%	 points= "(10,10);(10,10);(61,10);(61,10)"
%	 />
%<multicurve right-arrow= "head"
%	 fill-style= "none"
%	 points= "(10,10);(10,10);(10,59);(10,59)"
%	 />
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(6,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%1
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(70,11)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$U$
%</text>
%<multicurve fill-style= "none"
%	 points= "(9,50);(9,50);(11,50);(11,50)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(20,11);(20,11);(20,9);(20,9)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(30,11);(30,11);(30,9);(30,9)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(40,11);(40,11);(40,9);(40,9)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(50,11);(50,11);(50,9);(50,9)"
%	 />
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(20,5)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$a$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(30,5)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$b$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(40,5)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$c$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(50,5)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$d$
%</text>
%<multicurve stroke-style= "dashed"
%	 fill-style= "none"
%	 stroke-dasharray= "1;1"
%	 points= "(40,10);(40,10);(40,50);(40,50)"
%	 />
%<ellipse right-arrow= "disk-centered"
%	 fill-style= "solid"
%	 p3= "(39.5,50.5)"
%	 p2= "(39.5,49.5)"
%	 p1= "(40.5,49.5)"
%	 closure= "open"
%	 angle-end= "0"
%	 angle-start= "0"
%	 />
%<multicurve stroke-style= "dashed"
%	 fill-style= "none"
%	 stroke-dasharray= "1;1"
%	 points= "(20,10);(20,10);(20,30);(20,30)"
%	 />
%<ellipse right-arrow= "disk-centered"
%	 fill-style= "solid"
%	 p3= "(19.5,30.5)"
%	 p2= "(19.5,29.5)"
%	 p1= "(20.5,29.5)"
%	 closure= "open"
%	 angle-end= "0"
%	 angle-start= "0"
%	 />
%<text right-arrow= "disk-centered"
%	 fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(5,55)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\pi_{X_1}$
%</text>
%</jpic>
%%End JPIC-XML
%LaTeX-picture environment using emulated lines and arcs
%You can rescale the whole picture (to 80% for instance) by using the command \def\JPicScale{0.8}
\ifx\JPicScale\undefined\def\JPicScale{1}\fi
\unitlength \JPicScale mm
\begin{picture}(130,59)(0,0)
\linethickness{0.3mm}
\put(75,10){\line(1,0){51}}
\put(126,10){\vector(1,0){0.12}}
\linethickness{0.3mm}
\put(75,10){\line(0,1){49}}
\put(75,59){\vector(0,1){0.12}}
\put(71,50){\makebox(0,0)[cc]{1}}

\put(130,11){\makebox(0,0)[cc]{$U$}}

\linethickness{0.3mm}
\put(74,50){\line(1,0){2}}
\linethickness{0.3mm}
\put(85,9){\line(0,1){2}}
\linethickness{0.3mm}
\put(95,9){\line(0,1){2}}
\linethickness{0.3mm}
\put(105,9){\line(0,1){2}}
\linethickness{0.3mm}
\put(115,9){\line(0,1){2}}
\put(85,5){\makebox(0,0)[cc]{$a$}}

\put(95,5){\makebox(0,0)[cc]{$b$}}

\put(105,5){\makebox(0,0)[cc]{$c$}}

\put(115,5){\makebox(0,0)[cc]{$d$}}

\linethickness{0.3mm}
\multiput(115,10)(0,1.95){21}{\line(0,1){0.98}}
\linethickness{0.3mm}
\put(115,50){\circle*{1}}

\linethickness{0.3mm}
\multiput(95,10)(0,1.82){6}{\line(0,1){0.91}}
\linethickness{0.3mm}
\put(95,20){\circle*{1}}

\put(70,55){\makebox(0,0)[cc]{$\pi_{X_2}$}}

\linethickness{0.3mm}
\put(10,10){\line(1,0){51}}
\put(61,10){\vector(1,0){0.12}}
\linethickness{0.3mm}
\put(10,10){\line(0,1){49}}
\put(10,59){\vector(0,1){0.12}}
\put(6,50){\makebox(0,0)[cc]{1}}

\put(70,11){\makebox(0,0)[cc]{$U$}}

\linethickness{0.3mm}
\put(9,50){\line(1,0){2}}
\linethickness{0.3mm}
\put(20,9){\line(0,1){2}}
\linethickness{0.3mm}
\put(30,9){\line(0,1){2}}
\linethickness{0.3mm}
\put(40,9){\line(0,1){2}}
\linethickness{0.3mm}
\put(50,9){\line(0,1){2}}
\put(20,5){\makebox(0,0)[cc]{$a$}}

\put(30,5){\makebox(0,0)[cc]{$b$}}

\put(40,5){\makebox(0,0)[cc]{$c$}}

\put(50,5){\makebox(0,0)[cc]{$d$}}

\linethickness{0.3mm}
\multiput(40,10)(0,1.95){21}{\line(0,1){0.98}}
\linethickness{0.3mm}
\put(40,50){\circle*{1}}

\linethickness{0.3mm}
\multiput(20,10)(0,1.9){11}{\line(0,1){0.95}}
\linethickness{0.3mm}
\put(20,30){\circle*{1}}

\put(5,55){\makebox(0,0)[cc]{$\pi_{X_1}$}}

\end{picture}
